Optimal. Leaf size=262 \[ -\frac{\sqrt{2} \sqrt{d x^2+2} (b-a f) F\left (\tan ^{-1}\left (\frac{\sqrt{f} x}{\sqrt{3}}\right )|1-\frac{3 d}{2 f}\right )}{f^{3/2} \sqrt{f x^2+3} \sqrt{\frac{d x^2+2}{f x^2+3}}}+\frac{\sqrt{2} \sqrt{d x^2+2} (-3 a d f+6 b d-2 b f) E\left (\tan ^{-1}\left (\frac{\sqrt{f} x}{\sqrt{3}}\right )|1-\frac{3 d}{2 f}\right )}{3 d f^{3/2} \sqrt{f x^2+3} \sqrt{\frac{d x^2+2}{f x^2+3}}}-\frac{x \sqrt{d x^2+2} (-3 a d f+6 b d-2 b f)}{3 d f \sqrt{f x^2+3}}+\frac{b x \sqrt{d x^2+2} \sqrt{f x^2+3}}{3 f} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.547819, antiderivative size = 262, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 30, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.167 \[ -\frac{\sqrt{2} \sqrt{d x^2+2} (b-a f) F\left (\tan ^{-1}\left (\frac{\sqrt{f} x}{\sqrt{3}}\right )|1-\frac{3 d}{2 f}\right )}{f^{3/2} \sqrt{f x^2+3} \sqrt{\frac{d x^2+2}{f x^2+3}}}+\frac{\sqrt{2} \sqrt{d x^2+2} (-3 a d f+6 b d-2 b f) E\left (\tan ^{-1}\left (\frac{\sqrt{f} x}{\sqrt{3}}\right )|1-\frac{3 d}{2 f}\right )}{3 d f^{3/2} \sqrt{f x^2+3} \sqrt{\frac{d x^2+2}{f x^2+3}}}-\frac{x \sqrt{d x^2+2} (-3 a d f+6 b d-2 b f)}{3 d f \sqrt{f x^2+3}}+\frac{b x \sqrt{d x^2+2} \sqrt{f x^2+3}}{3 f} \]
Antiderivative was successfully verified.
[In] Int[((a + b*x^2)*Sqrt[2 + d*x^2])/Sqrt[3 + f*x^2],x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 59.8932, size = 245, normalized size = 0.94 \[ \frac{b x \sqrt{d x^{2} + 2} \sqrt{f x^{2} + 3}}{3 f} - \frac{\sqrt{3} \left (- a f + b\right ) \sqrt{d x^{2} + 2} F\left (\operatorname{atan}{\left (\frac{\sqrt{3} \sqrt{f} x}{3} \right )}\middle | - \frac{3 d}{2 f} + 1\right )}{f^{\frac{3}{2}} \sqrt{\frac{3 d x^{2} + 6}{2 f x^{2} + 6}} \sqrt{f x^{2} + 3}} - \frac{x \sqrt{d x^{2} + 2} \left (- 3 a d f + 6 b d - 2 b f\right )}{3 d f \sqrt{f x^{2} + 3}} + \frac{\sqrt{3} \sqrt{d x^{2} + 2} \left (- 3 a d f + 6 b d - 2 b f\right ) E\left (\operatorname{atan}{\left (\frac{\sqrt{3} \sqrt{f} x}{3} \right )}\middle | - \frac{3 d}{2 f} + 1\right )}{3 d f^{\frac{3}{2}} \sqrt{\frac{3 d x^{2} + 6}{2 f x^{2} + 6}} \sqrt{f x^{2} + 3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((b*x**2+a)*(d*x**2+2)**(1/2)/(f*x**2+3)**(1/2),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 0.282959, size = 142, normalized size = 0.54 \[ \frac{i \sqrt{3} (3 d-2 f) (a f-2 b) F\left (i \sinh ^{-1}\left (\frac{\sqrt{d} x}{\sqrt{2}}\right )|\frac{2 f}{3 d}\right )+i \sqrt{3} (-3 a d f+6 b d-2 b f) E\left (i \sinh ^{-1}\left (\frac{\sqrt{d} x}{\sqrt{2}}\right )|\frac{2 f}{3 d}\right )+b \sqrt{d} f x \sqrt{d x^2+2} \sqrt{f x^2+3}}{3 \sqrt{d} f^2} \]
Antiderivative was successfully verified.
[In] Integrate[((a + b*x^2)*Sqrt[2 + d*x^2])/Sqrt[3 + f*x^2],x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.028, size = 367, normalized size = 1.4 \[{\frac{1}{ \left ( 3\,df{x}^{4}+9\,d{x}^{2}+6\,f{x}^{2}+18 \right ) fd}\sqrt{d{x}^{2}+2}\sqrt{f{x}^{2}+3} \left ({x}^{5}b{d}^{2}f\sqrt{-f}+3\,\sqrt{2}{\it EllipticE} \left ( 1/3\,x\sqrt{3}\sqrt{-f},1/2\,\sqrt{3}\sqrt{2}\sqrt{{\frac{d}{f}}} \right ) adf\sqrt{d{x}^{2}+2}\sqrt{f{x}^{2}+3}+3\,{x}^{3}b{d}^{2}\sqrt{-f}+2\,{x}^{3}bdf\sqrt{-f}-6\,\sqrt{2}{\it EllipticE} \left ( 1/3\,x\sqrt{3}\sqrt{-f},1/2\,\sqrt{3}\sqrt{2}\sqrt{{\frac{d}{f}}} \right ) bd\sqrt{d{x}^{2}+2}\sqrt{f{x}^{2}+3}+2\,\sqrt{2}{\it EllipticE} \left ( 1/3\,x\sqrt{3}\sqrt{-f},1/2\,\sqrt{3}\sqrt{2}\sqrt{{\frac{d}{f}}} \right ) bf\sqrt{d{x}^{2}+2}\sqrt{f{x}^{2}+3}+3\,\sqrt{2}{\it EllipticF} \left ( 1/3\,x\sqrt{3}\sqrt{-f},1/2\,\sqrt{3}\sqrt{2}\sqrt{{\frac{d}{f}}} \right ) bd\sqrt{d{x}^{2}+2}\sqrt{f{x}^{2}+3}-2\,\sqrt{2}{\it EllipticF} \left ( 1/3\,x\sqrt{3}\sqrt{-f},1/2\,\sqrt{3}\sqrt{2}\sqrt{{\frac{d}{f}}} \right ) bf\sqrt{d{x}^{2}+2}\sqrt{f{x}^{2}+3}+6\,xbd\sqrt{-f} \right ){\frac{1}{\sqrt{-f}}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((b*x^2+a)*(d*x^2+2)^(1/2)/(f*x^2+3)^(1/2),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (b x^{2} + a\right )} \sqrt{d x^{2} + 2}}{\sqrt{f x^{2} + 3}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x^2 + a)*sqrt(d*x^2 + 2)/sqrt(f*x^2 + 3),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \[{\rm integral}\left (\frac{{\left (b x^{2} + a\right )} \sqrt{d x^{2} + 2}}{\sqrt{f x^{2} + 3}}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x^2 + a)*sqrt(d*x^2 + 2)/sqrt(f*x^2 + 3),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{\left (a + b x^{2}\right ) \sqrt{d x^{2} + 2}}{\sqrt{f x^{2} + 3}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x**2+a)*(d*x**2+2)**(1/2)/(f*x**2+3)**(1/2),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (b x^{2} + a\right )} \sqrt{d x^{2} + 2}}{\sqrt{f x^{2} + 3}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x^2 + a)*sqrt(d*x^2 + 2)/sqrt(f*x^2 + 3),x, algorithm="giac")
[Out]